A Framework for Open Mechanized Legal Reasoning

We build on the analogy between theorem proving and legal reasoning. In the former case it was shown that mechanized reasoning is always achieved provided there is a theory, a control on this theory and some rules governing this controlled theory once introduced in a given environment. We show that it is possible to identify similar conditions for cognitive systems and also in the legal world. We outline how this can be illustrated in the case of publication rights. We propose a social network approach to improve some features of the management of publication